* etc/PROBLEMS: Small copyedits.
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Mar 2014 22:56:29 +0000 (15:56 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Mar 2014 22:56:29 +0000 (15:56 -0700)
commit5294f116889f2a1a738cdca3e9081093a209beea
tree298c17b465d7cc4d039c4557e41c1fa4069e791d
parenta5fa5d1ce26edb34969cb1fc052626ba5ccb0559
* etc/PROBLEMS: Small copyedits.
etc/PROBLEMS